The Equivalence of ω-Groupoids and Cubical T -Complexes
نویسندگان
چکیده
The Seifert-van Kampen Theorem involves the category Top∗ of spaces with base-point, the category Group of groups and the fundamental group functor π1 : Top∗ → Group; the theorem asserts that the functor π1 preserves certain special colimits. The generalisation of this theorem to all dimensions thus requires answers to three immediate questions, namely, what are the appropriate generalisations of the category Top∗, the category Group and the functor π1? In [4, 5], where such a generalised Seifert-van Kampen Theorem is proved, the answer given to the first question is simple: a space with base-point is replaced by a filtered space
منابع مشابه
Cubical abelian groups with connections are equivalent to chain complexes
The theorem of the title is deduced from the equivalence between crossed complexes and cubical ω-groupoids with connections proved by the authors in 1981. In fact we prove the equivalence of five categories defined internally to an additive category with kernels.
متن کاملCovering morphisms of crossed complexes and of cubical omega-groupoids are closed under tensor product
The aim is the theorems of the title and the corollary that the tensor product of two free crossed resolutions of groups or groupoids is also a free crossed resolution of the product group or groupoid. The route to this corollary is through the equivalence of the category of crossed complexes with that of cubical ω-groupoids with connections where the initial definition of the tensor product li...
متن کاملCrossed complexes and higher homotopy groupoids as non commutative tools for higher dimensional local-to-global problems
We outline the main features of the definitions and applications of crossed complexes and cubical ω-groupoids with connections. These give forms of higher homotopy groupoids, and new views of basic algebraic topology and the cohomology of groups, with the ability to obtain some non commutative results and compute some homotopy types in non simply connected situations.
متن کاملTensor Products and Homotopies for Ω-groupoids and Crossed Complexes∗
Crossed complexes have longstanding uses, explicit and implicit, in homotopy theory and the cohomology of groups. It is here shown that the category of crossed complexes over groupoids has a symmetric monoidal closed structure in which the internal Hom functor is built from morphisms of crossed complexes, nonabelian chain homotopies between them and similar higher homotopies. The tensor product...
متن کاملColimit Theorems for Relative Homotopy Groups
The first paper [10] (whose results were announced in [8]) developed the necessary ‘algebra of cubes’. Categories G of ω-groupoids and C of crossed complexes were defined, and the principal result of [10] was an equivalence of categories γ : G → C. Also established were a version of the homotopy addition lemma, and properties of ‘thin’ elements, in an ω-groupoid. In particular it was proved tha...
متن کامل